It’s just a few billion bucks ... can’t “Helicoptor Ben” just print it up for them?
You jest but I wouldn’t rule it out.