20180710 india: 5;144 pilgrims leave for Amarnath Yatra