‘Earthquake’ reported off the Florida coast may have been a Navy test