The cast to `Player` is to not reveal any hidden/vanished players. Assume that the console can see all players.