I do wonder. If the Portuguese players (or indeed, anyone of any relevance to this game) knew what was going to happen to the North Korean team, would they have still battered them 7-0? Is it possible they would have only gone 1-0 or 2-0 up to conserve energy for the game vs Brazil?