The federal government, including the military, is changing the name on maps to "Gulf of America." Even Google suggested it ...
The U.S. Board on Geographic Names, a little known panel of federal experts, has been around for nearly 135 years.