Overview of the Gaillard Cut, formerly Culebra Cut, an excavation deep into Culebra Mountain for the construction of the Panama Canal