Mario Dino Marocco (1927–2025)