Penghentian rencana manfaat pasti pensiun overfunded dan penggantian dengan sebuah perusahaan asuransi jiwa yang disponsori rencana anuitas tetap.