Panama Canal. Executive order, transfer of operation of Hotel Tivoli, Canal Zone [from The Panama Canal to Panama Railroad Company].