DOGE notwithstanding, here are the 2 options Trump has to tackle the $35T national debt