20180808 city.puducherry: Puducherry declares holiday today; 3-day state mourning