a cartoon character with horns and a blue hat