How a Poker Pro Would Coach in the NFL