Panama Canal. Executive order, authorizing commutation of leave privileges in certain cases [in favor of employees of The Panama Canal, Canal Zone, and Panama Railroad].