With a hole that tiny I have to wonder if just a wide thick blanket of clay would suffice. It is all in how long you need it to last. if the last hole took decades to form, you might try more of a spot fix. You might also check with the NRCS for pond assistance