Panama Canal. Executive order [crediting employees of The Panama Canal or Panama Railroad Company with certain allowance of leave where loss of such leave resulted from military or naval service for United States].