Texas holdem poker hand probabilities, texas holdem poker world champion