pipe jack
/ˈpʌɪp dʒak/Engineering
noun
Originally: a hand-operated mechanical device for laying an underground pipe by pushing it through the ground from one pit to the next; (later also) a hydraulically-operated machine performing this function.
Origin
Early 20th century. From pipe + Jack.