KRG resumes oil pumping via the pipeline detonated by PKK