Los recursos hidráulicos de la cuenca del lago Gatún y tráfico futuro en el Canal de Panamá