India Is Drilling Through the Himalayas to Reach Ladakh