The Texas Department of Public Safety (DPS) Friday Sergeant Juan Maldonado, one of the state troopers who responded to a shooting at Robb Elementary School in May. The department did not release a statement, but a spokesperson informed ABC News that papers of termination were served to Maldonado on Friday.

In July, Uvalde Police Department released body camera footage showing Maldonado at the school within four minutes of being notified of the shooting. After another sergeant encouraged Maldonado to enter the school, Maldonado replied, “DPS is sending people.” Maldonado’s termination comes after the Uvalde school district suspended the police department, and after the announcement of an investigation into seven DPS officers. He is the first person to be fired from the state police following the Robb Elementary School shooting.

Additional footage from school surveillance cameras showed roughly 400 officers waiting around 77 minutes inside the school before attempting to subdue the shooter.