Panama Canal. Executive order [establishing regulations to govern granting of leaves of absence to judge of district court of Canal Zone, district attorney of Canal Zone, and marshal of Canal Zone].