Panama Canal. Executive order establishing and declaring certain property in Republic of Panama to be part of Canal Zone for construction, maintenance, operation, sanitation, and protection of Panama Canal [and setting forth correct description of Alhajuela Lake basin area].