Looking at the PAGER info, it looks like it was pretty far from the largest cities and only affected them, and Panama City in particular, minimally, which will limit the impact quite a bit.

https://earthquake.usgs.gov/earthquakes/eventpage/us6000u18k...