(n)irrigation ditcha ditch to supply dry land with water artificially