20200819 city.varanasi: Soldier from Mirzapur martyred in encounter with terrorists in J&K