digging a deep section of a pond so a farmer can irrigate