20170613 city.delhi: Delhi police short of 11;700 personnel after promotions