Digging the Gaillard Cut, Panama Canal