what is the origin of the character known as great demon king ?
super mario bros