att 100 personer dödades och sårades , och att trupper patrullerade på alla stadens gator.