However, according to the statement, Yandex Maps tries to keep track of synonyms for its search data base, so it will be possible to find the place by either of the two names ...

Google Maps will change the name of "Gulf of Mexico" to "Gulf of America" once it is officially updated in the U.S.