401(k) Mortgage or Use away from an effective Roth IRA