20170711 city.delhi: Has NDMC all but abandoned Gole Market?