U.S. District Court judges taking senior status, 1993-2020*