Se desplegaron 7000 agentes, incluyendo miembros de la Guardia Civil, policías nacioales y municipales, efectivos de de unidades antiterroristas y francotiradores.