Workers at the federal Board on Geographic Names have formally changed the name to the Gulf of America per one of President Donald Trump's first executive orders. The change doesn't affect what other ...