Se desplegaron 7.400 agentes antidisturbios.