20170608 city.goa: June 11 will be a paid holiday