Agra canal

The Agra canal is an important Indian irrigation work, available also for navigation, in Delhi, Gurgaon, Muttra and Agra districts, and Bharatpur state. The canal receives its water from the Jumna river at Okia, about ten miles below Delhi. The weir across the Jumna was the first attempted in Upper India upon a foundation of fine sand; it is about 800 yards long, and rises seven feet above the summer level of the river. From Okla the canal follows the high land between the Khari-nadi and the Jumna, and finally joins the Banganga river about 20 miles below Agra. Navigable branches connect the canal with Muttra and Agra. It was opened in 1874.

(from an old encyclopedia)