ETF options: the market’s latest credit hedge