On top of that, only 1/3 of the US debt is held by foreigners. Not a huge deal in any case.