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