巴拿马运河是人工修建的吗