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