An order by President Donald Trump to rechristen the area Gulf of America was made official by the US Geographic Names Information System.