20201203 city.goa: Goa: 'Explore options to restart mining operations'