20210915 city.agra: Who was Raja Mahendra Pratap Singh?