Texas National Guard and Texas Department of Public Safety.