20190928 city.goa: October deadline for resuming mining will not be met