 Speaker of the House Mike Johnson announcing that former President Donald Trump is formally up for nomination as the GOP presidential candidate. Earlier after a long buildup, Trump announced on social media that his running mate would be Ohio Senator J.D. Vance. At one point,