Banks Use 'Crash Puts' to Hedge Risk from Leveraged ETFs