Naval Warfare in the English Channel 1939 &ndash; 1945