Florida. Executive order [in lieu of Executive order of Feb. 18, 1911, which amended Executive orders of Feb. 27, 1874 and June 12, 1900 so as to restore to public domain lands in Florida reserved for lighthouse purposes].