Full text of “The Navy book of distinguished service; an official compendium of the names and citations of the men of the United States Navy, Marine corps, Army and foreign governments who were decorated by the Navy department for extraordinary gallantry and conspicuous service above and beyond the call of duty in the world war”