 Again, Donald Trump formally made the nominee of the Republican Party this afternoon. Senator J.D. Vance of Ohio named his running mate. We expect his nomination to be formalized here coming up on day one of the Republican National Convention.