The Twin Ds: Optimal Default and Devaluation