File:The Deepest Hole in the World, And What We've Learned From It