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