Title: Sea warfare, 1939-1945;