Mega operazione di sicurezza per il Superclásico: numero record di agenti di polizia