. . . . "Ceylonese military personnel" . . . .