. . "Infantry division of North Korea" . . . . .