Redesigning Credit Derivatives to Better Cover Sovereign Default Risk