"Alligator Alcatraz" is the name posted in front of the hastily converted immigrant detention facility in the Florida Everglades.

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.

Several armed people were taken into custody after officers responded to a report of a suspicious person outside the detention center, officials said.