A 2020 federal lawsuit between the owner of Palafox Marina and the city of Pensacola over damage to the marina during ...