Agra district, Uttar Pradesh, is named after the historic city within it.