20170711 india: Amarnath pilgrims leave Jammu for Valley despite attack