20160711 city.thiruvananthapuram: Industries dept directive against mining ignored