Turns out, those giant deep earth drilling machines are real, proves FOIA request

Now, what exactly were they used for and where?