Report on the settlement of the Agra District, North-western Provinces (India land settlement reports. Uttar Pradesh, Agra District., 1880)