20191019 city.goa: NGT says no to filling of mining pits with trash