How Ronaldo and Martínez cost Portugal the Euros