When to Cash Out Bets During the World Cup