3 ms·They could have used put options or Credit Default swaps.by marcopicentini 4y agoThey could have used put options or Credit Default swaps.