Military reservations. Executive order, order of withdrawal [setting aside certain lands at Waimanalo, Hawaii, as Waimanalo military reservation].