20170512 city.puducherry: Gang kills boy; throws head into police station