Portugal leading at halftime?