so mario is dead