Agents working ‘double time’ to find Texas shooting suspect