a red devil character with horns and a horned head