"Regia Marina personnel" . . . . . .