20180716 india: Over 4;000 pilgrims leave Jammu for Amarnath Yatra