to hole {a tunnel, canal, etc.}