I thought Rio Bravo was Mexican for the Rio Grande River, starting in Colorado, going through New Mexico and then forming the boundary between Texas and Mexico. Is there also a Mexican town called Rio Bravo?
Si. Rio Bravo is also a Texas colonia near Laerdo