Does the Texas DPS Have Armed Patrol Boats on the Rio Grande?

Some social media users were surprised to learn the lengths to which Texas officials have gone to address crime along the mighty river.