Florida. Executive order, Florida [revoking Executive order of Aug. 26, 1880, which reserved right of way at Haulover Canal, Florida, connecting waters of Indian River and Mosquito Lagoon].