20201117 city.goa: Ports revenue took hit with mining ban