Mushroom Kingdom citizen, in Nintendo's Mario franchise