That'd be a great mission,
But I doubt it'll happen anytime soon. The synopsis didn't mention their seismic sources, so I assume the authors felt there might be enough natural sources to detect. Short of explosives, I don't see how a artificial source would provide strong enough signal to get to the depths required.
Thanks for the info.
