20201110 city.goa: Goa govt to pay bonus to some state employees