Text this: Does default risk rule out covered interest arbitrage?