Perhaps we can call the Rio Grande something different like “Brave River of the South.”
Alligator River sounds good to me.................