Default, Foreclosure, and Strategic Renegotiation