Florida. Executive order, partial revocation of Executive order of Aug. 2, 1875, withdrawing public lands, Florida.