ٹیگ: Electoral college formally elects Donald Trump as president