The irrigation system of the Pokot, northwest Kenya