If England had beaten Portugal...