20130829 city.goa: End to unregulated mining dumping?