Portugal hadde kommet videre fra dødensgruppe i gruppespillet i EM, med seier...