. . . "Military operation involving the Warsaw Pact" .