20171220 city.goa: Old Goa pillory must be protected