has mario ever even canonically been a plumber by trade outside the live-action performances from the 1989 super mario brothers super show and the 1993 super mario brothers movie