Official History of the Second World War the War at Sea 1939-45: Volume III Part I the Offensive 1st June 1943-31 May 1944