The government's Geographic Names Information System (GNIS) has been updated and the new name is now official.
Major geographic and geologic features shared by several countries often have different names in each of them.