20171107 city.goa: No diploma in mining course from 2018-19