The US has not resumed making payments that were already apportioned by Congress, and cut by DOGE/Trump/Musk.