Card Trivia talk:Dark King of the Abyss

The title "King of the Abyss"?
Does the Japanese name of both "Dark King of the Abyss" and "Diabolos, King of the Abyss" both contain the title of "King of the Abyss" or whatever the Japanese version was?