OFICIAL: Mario Mandzukic, nuevo jugador del AC Milan