Panama Canal. Executive order [providing that portion of Panama Canal through continental divide heretofore known as Culebra Cut shall hereafter be named Gaillard Cut in honor of D. D. Gaillard].