Google said it would change the name of the Gulf of Mexico to the “Gulf of America” for its Google Maps users in the United States to stay in line with President Donald Trump’s executive order making the switch.

Upon being sworn into office last week, Trump issued a slew of executive orders, including changing the name of the body of water that will be acknowledged by federal agencies. Google said its maps will update when the Geographic Names Information System, a government database of names and location data, makes the change.