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