Napoli-Milan, allerta anche per l’ordine pubblico: in campo oltre 800 agenti – GdS