20181219 city.delhi: Why is pet coke still being used in city; asks Delhi high court