Trump has already appointed 3 justices. Another term would give him at least 2 more.