a cartoon character with a green hat and red horns