Books about World War, 1939-1945 -- Naval operations, American