Yes. That's what I said "Devaluing dollar does not reduce debt measured in dollar"

The US would still have to pay the debt in Dollars. Devaluation affects currency exchange rates. Debt would be less valuable in Yen and Renminbi but just as expensive for the US government.