Don’t worry, Trump probably won’t default on the debt. Right?