Ah just noticed I misunderstood your initial post, my bad. I agree with you.

Yes, about ~23% of the USD debt is international. I mentioned China to focus on places where taxes go internationally.