Por que o Oceano Pacífico é mais alto que o Atlântico – e como isso afeta o Canal do Panamá