Google is complying with President Donald Trump’s executive action that renamed the Gulf of Mexico to the Gulf of America. Soon, the name change will appear on Google Maps.

Google is among the first companies to rename maps from Gulf of Mexico to Gulf of America. Other software leaders, like Apple Maps, are starting to follow suit.

President Trump ordered U.S. authorities to make the change to official maps in an executive order he signed on his first day in office. Only users in the United States will see Gulf of America, ...