The City of Fort Pierce, Florida, a Florida municipal corporation, Fort Pierce Redevelopment Agency, etc. v. Treasure Coast Marina, LC, a Florida limited liability company, Riverfront Development, LC, etc. ( 2016 )