The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.

The chip has broken new ground in a key random circuit sampling benchmark, an important development in Google's roadmap for fault-tolerant quantum computing.

Google accused European Union antitrust watchdogs of blundering their way through a probe that culminated in a record €4.3 billion ($4.5 billion) fine for allegedly abusing the market power of its Android mobile-phone ecosystem.

Google faced blowback on social media Monday after it announced it would comply with President Donald Trump ’s executive order and ― on its Google Maps service ― rename the Gulf of Mexico as the “Gulf of America” and revert to referring to Alaska’s Denali as Mount McKinley.

Lawyers for Karen Read on Tuesday filed their opposition to a prosecution motion to bar a defense expert who testified during the first trial about the timing of Google searches from making similar assertions during the retrial.

"As directed by the President, the Gulf of Mexico will now officially be known as the Gulf of America," the Interior Department stated in a statement last week. Google responded by noting that the change complies with its longstanding policy of aligning map labeling with updates in official government databases.

Google Play is rolling out "Verified" badges for select VPN apps to make it easier for users to find trust services. Apps with the badge prioritize user

Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its Maps service.

Apple, Android users can create a digital ID in their wallet app but will need a separate app for a digital version of a passport.

Google will show Gulf of Mexico as "Gulf of America" and Alaska's Denali as "Mount McKinley" in the United States once the U.S. government has officially updated to the U.S. Geographic Names Information System.

The change will likely only be visible to users based in the United States. As part of what it described as a longstanding practice, Google added, "When official names vary between countries, Maps users see their official local name. Everyone in the rest of the world sees both names. That applies here too."