Yes, the article may have been updated after you read it. It now states that to be the case.
The Dispatch added that “several dozen Columbus officers” were sent to the RNC to beef up security for the event, which has a massive perimeter with multiple security checkpoints before anyone is permitted entry.
Damn right he did. He told his people during the last cycle that if you don’t like what a candidate might do if elected, you should shoot them. He said this, regarding Hillary Clinton: