How many of those tweets were users commenting on news reports that the rioters were chanting "Hang Mike Pence"? https://twitter.com/search?q=hang%20mike%20pence&src=typed_q...