Chi era Mario Vanni?

Chi era Mario Vanni?