What Should Debt Fund Investors Do?