Who really thinks the US will default?