deploy thousands of Texas National Guard troops