Naval Warfare in the English Channel, 1939-1945