mario in a studio ghibli movie