¿Por qué se celebra el "día de Mario" este 10 de marzo?