20180717 city.thiruvananthapuram: Thrashed in Kerala; Bengal migrant dies