a cartoon character of a red puppet