If a hole several feet in diameter were bored down to the magma beneath Yellowstone, would it be likely to trigger a massive eruption?