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