What happens if all players in the pool tie?