The ex-spouse. Beneficiary designations on non-probate accounts override the will. The 401(k) is governed by ERISA; the employer's plan administrator pays whomever is on file regardless of the will. This is why beneficiary-designation audits are the #1 estate-planning failure mode.