Panama Canal. Executive order, amending Executive order 7676 of July 26, 1937, entitled Canal Zone judiciary.