> If you cause his house to be worth $200,000, as it ought to be, regardless of the method, he's going to default on the loan

Why would that be? If he locked in a low rate, his mortgage payments could still make sense. If it's a variable rate, then yeah.