[WP Lonestar]

That river has always been called Rio Bravo by Mexico, and Rio Grande by the US. I had a map once that had both names printed on the respective sides of the border.

[Tupelo]

I concur. I really do not think this is “ a grand conspiracy”. Rio Bravo, Rio Grande. Both Spanish words. Both used on both sides of the river.
No problem. At least to me.