Simplified how to divide the pot at the end of the game (pot goes to
player with the highest score)