Heavily-armed Texas gunboats now patrol Rio Grande