Punta Mala naval radio station. Executive order [setting aside certain tract of land in Canal Zone for use as Punta Mala naval radio station].