County might shore up, add dock to Veterans Park

… each of Florida's 23 Gulf Coast counties and was formed in October 2012 to help the Gulf Coast recover from the 2010 Deepwater Horizon oil spill.