Is Cristiano Ronaldo playing? Portugal vs Hungary: Match time, TV, and lineups for the match  Mundo Deportivo