The "Rio Grande" is also called "Rio Bravo"