巴拿马运河人工开凿有多长