Trump appointed the judge.