Did they know?
That’s my question.
Are the police in Texas allowed to determine one’s immigration status?
They were called on him about shooting, before, so I would think that the had ID'd him.