The world’s first pipeline war has officially come to an end