Former top FBI official fired from Trump's DOJ gets his pension back after lengthy legal dispute