History of United States Naval Operations in World War II. Vol. 1: The Battle of the Atlantic, September 1939-May 1943