. . . . "Military unit or formation of North Korea in the Korean War" .