You really think they needed 9000 heavily armed cops to be protected?
That’s what Americans do when terrorists blow our people up. We meet them with overwhelming force.