“Of the 16 active status judges on the U.S. Court of Appeals for the Sixth Circuit, 10 were appointed by Republican presidents, including 7 by President Trump.”