Police officers, armed with model MarkV-A1, were shot at the end of a protest against police killings of Alton Sterling in Baton Rouge, Louisiana, and Philando Castile in Falcon Heights, Minnesota, what was used to disable the shooter?  
MarkV-A1: This particular model was utilized by the Dallas Police Department to kill a gunman that murdered five police officers on July 7, 2016. MarkV-A1:  Officers used the robot to deliver a charge of C4 which was then detonated next to the gunman. 2016 shooting of Dallas police officers: On July 7, 2016, Micah Xavier Johnson ambushed and fired upon a group of police officers in Dallas, Texas, killing five officers and injuring nine others.
C4