mario dies today