Judges as Party Animals: Retirement Timing by Federal Judges and Party Control of Judicial Appointments