Fueron desplegados unos 13.800 polícias y 8.000 soldados del ejército.