Donald Trump Formally Announces Indiana Gov. Mike Pence As VP Pick (POLITICS)
The official word came a day after media reports that Trump was choosing him.