Якої довжини Панамський канал між Тихим і Атлантичним океанами?