While the world snickers .....

Insisting that Americans call the legally, and historically, named Gulf of Mexico, by a new name is beyond comprehension.

"The name "Gulf of Mexico" (Spanish: golfo de México; French: golphe du Mexique, later golfe du Mexique) first appeared on a world map in 1550 and a historical account in 1552."  Wikipedia

Then there is the cost to update and replace high school and university textbooks. "According to available data, the average cost of an American high school textbook ranges between $40 and $90 per book, depending on the subject and publisher."  Google search.

How is this saving money for the American taxpayer?

In 2025, the United States population is projected to be 4.22% of the world's population.  

Out of 8.25 billion people on planet Earth, the other 95.78% refer to it by the correct name, the Gulf of Mexico. 

Out of 8.25 billion people on planet Earth, less than 1%, (0.936777188) voted for the person who insists on this name change.