20200129 city.goa: No mining activity found at Shirgao