One of US President Donald Trump’s first actions upon returning to power was ordering the Gulf of Mexico to be renamed. But mapmakers are still largely waiting for the green light.

The board voted to change the name and took its request to the county commissioners. When the county agreed, the request was then sent to the Minnesota Department of Natural Resources, which made it official for Minnesota. Then, the state of Minnesota sent the request to the Board on Geographic Names, which made it official for the entire U.S.

The tech company said Monday it has a “longstanding practice of applying name changes when they have been updated in official government sources.”