Netherlands versus Argentina, World Cup semifinal