Canal de Panamá (el lago Gatún),