Baby lima beans with ham hocks