Panama Canal. Executive order [authorizing setting aside of certain lands in Canal Zone or in Republic of Panama for protection of Panama Canal and for use as military reservation].