a red cartoon character with horns and a blue vest