US President-elect Donald Trump announced Wednesday that retired Marine Gen. John Kelly is his nominee for secretary of homeland security. Kelly is the third retired general to be picked for Trump's administration following Defense Secretary-designate James Mattis and National Security Advisor-designate Michael Flynn. The president-elect is considering choosing a fourth retired general, David Petraeus, as secretary of state. Trump also announced on Wednesday that he had tapped Linda McMahon as head of the Small Business Administration, after emphasizing the importance of the small business sector during the campaign. The 69-year-old McMahon, a billionaire who made her fortune as a co-founder of the World Wrestling Entertainment franchise, was one of the most significant contributors to Trump's campaign. In another development, a federal judge in the state of Michigan rejected an appeal by Green Party presidential candidate Jill Stein for a hand recount of the ballots cast for president, ruling that she was not an "aggrieved candidate" because she had no chance of winning.