If US defaults on its debt, Treasury would have to decide how to pay the bills