Roma-Milan, l’arbitro sarà Mazzoleni