Who Owns Florida’s Beaches? The “mean high water line” and how public beaches are being turned private.