Bob Harvey, cartoon historian and author