Gov. Greg Abbott says Texas DPS on high alert after State Capitol threat