What to do if the US defaults and what to do if it does not