20130830 city.goa: Mining ban reason for not installing AIS