I agree with taxiowa *IF* the bank has accepted the foreclosure as full payment of the loan.

However, it is possible they have not, and the taxpayer still owes the bank some money.  You would need to find out if that is the case, and if so, what the amounts are.