PANAMA CITY, Fla. (WJHG/WECP) –¬†Port Panama City was damaged to the tune of $15 million during Hurricane Michael. To read the article in full, please click¬†here.