a cartoon character with green hat and horns