Rare 4.0 magnitude earthquake recorded off of Florida's east coast: USGS