Retirees’ pension benefits help keep Washington economy afloat