When Poker Players Lose to a Straight Flush