Panama Canal. Executive order, transfer of control and jurisdiction of certain buildings at Cristobal to Navy Department, Canal Zone.