World War 2, histories and historical reports in the Naval History Division, partial checklist. 2nd printing.