20180717 city.goa: Fewer takers for mining engineering as mining ops take big pause