Pensacola Beach occupies land bound by a 1947 deed from the United States Department of Interior that it be administered in the public interest by the county or leased, but never "disposed"; its businesses and residents are thus long-term leaseholders and not property owners.