The Horned King used to appear in Tokyo Disneyland. Unfortunately earthquake regulations got him, so you are correct today.

https://disney.fandom.com/wiki/Cinderella_Castle_Mystery_Tou...