Porto Rico. Executive order [conveying to people of Porto Rico for school purposes military reservation known as Mayaguez Hospital, Mayaguez, P. R., which was reserved for military purposes by Executive order of June 30, 1903, and which is no longer needed for purposes of United States].