$40 billion seems awfully cheap.
They be speaking 1900’s dollars.............
Maybe they will hand dig it with $2/day chinese labor!