a green cartoon character with horns and a helmet