La Secretaría de Seguridad Pública estatal informó que, en coordinación con fuerzas federales, activó el operativo Código Rojo, tras la agresión