The officer was shot in the neck on Friday, the night of the Fourth of July , after reporting to the Prairieland Detention Center in Alvarado, about 40 miles (65 kilometers) southwest of Dallas. He was treated at a hospital and released, the Johnson County Sheriff’s office said.

A U.S. attorney called the wounding of a police officer an ‘ambush’ and warned of increasing violence against immigration agents.