20190206 city.madurai: Martyrs' Day should be observed as dry day: HC