The World Economy Runs on US Dollars that do not Belong to the US