# an irrigation canal