Some have noted that this gulf’s shoreline is about 3,500 miles, with more than half of it bordering Mexico’s coast. And that maps labeling ... town on Florida’s Panhandle, devastated ...