Harvey, Jack (John Thomas), 1947-