Mayor Nutter, as a ‘Peanuts’ character