Irrigation ditches and their operation