Ronaldo pushed a referee after a red card was given to him