Hot water drilling at the Langhovde Glacier, Antarctica