The US Board on Geographic Names, which is responsible for approving official geographic names, has been directed to update the Geographic Names Information System (GNIS) accordingly.