Question: 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?  
Sentence (from "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.
Relevant evidence: Yes