How much do banks use credit derivatives to reduce risk? Bernadette Minton, René M. Stulz and Rohan Williamson.