“the fighting history of midget submarines”