Trump Just Changed How Obama Will Get His Pension