""@mike_pence: Congratulations to @RealDonaldTrump, officially elected President of the United States today by the Electoral College!""