20200519 city.goa: Panaji market to stay open