Dredging for the Panama Canal’s New Locks at the North Entrance of the Pacific Access Channel