Den s. k. Hafskanalen,