Yes, we should call the Oct. 7 Hamas attacks a 'pogrom'