Mortgages with Defaults