20210801 city.goa: Goa industry shut; but mining engineering students shine from Rajasthan to Australia