¿Cuántas veces el ejército fue utilizado contra los trabajadores?.