20171223 city.madurai: How many choppers used for rescue ops after Ockhi; asks HC