a red devil with horns