With all the recent talk about the Yellowstone Super Volcano, is there a way to drain the lava reservoir with something man made? Somehow tapping into this reservoir somewhat like how we tap for oil.