Is Selling US CDS A Risk-Free Way To Short The Dollar?