20200723 city.delhi: Delhi riots: 'Efforts on to identify cops seen thrashing man in clip'