Portugal’s exit from the World Cup