“how long would it take a govt to spend 80 billion dollars?”
It will cost $70 billion to extract it.
Reminds me of the old saying among miners,,”It takes a mint to operate a mine.”