1911 Encyclopædia Britannica/Agra Canal
AGRA CANAL, 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 10 m. below Delhi. The weir across the Jumna was the first attempted in Upper India upon a foundation of fine sand; it is about 800 yds. long, and rises 7 ft. 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 m. below Agra. Navigable branches connect the canal with Muttra and Agra. It was opened in 1874.