Should bankruptcy judges be allowed to reduce the principal on mortgages for primary residences?