The USGS initially reported this as a magnitude 4.1 earthquake but was downgraded to a 3.8 after further reports.

Google said it would use President Donald Trump’s favored new names for Mount Denali and the Gulf of Mexico when federal maps make the switch. In an executive order Trump signed Jan. 20, he ordered ...