. "War involving South Korea" . . . .