Panama Canal. Executive order, designation of marshal as officer to disburse funds for maintenance and operation of district court of United States for Panama Canal Zone, etc.