Donald Trump leaves the White House having appointed nearly as many appeals court judges in four years as Barack Obama appointed in eight.