They should have put crocs in the Rio Grand.
There is no need to import a non-native species that will become invasive and problematic-there are plenty of nice, native alligators in the river of E Texas right on on/near the state line with Louisiana that can easily be caught and moved to the Rio Grande-might have to re-catch and take them back to E Texas in the Winter-it can get pretty cold in S and W Texas...