CHOOSING A RETIREMENT STRATEGY: ESOP OR LUMP DISTRIBUTION?