Bitter ocean: the dramatic story of the Battle of the Atlantic 1939-1945