20201113 india: 9 arrested over mowing down of Agra cop