More DPS troops sent to Texas border