. . . "War involving North Korea" . . .