The Demon King isn't the King of Hell?