 Hereby declaring him the Republican nominee for president of the United States of America. Let's go live to the convention and ABC News national correspondent Stephen Portnoy. Stephen, Donald Trump also announced his running mate, Senator J.D. Vance of Ohio. It looks like that was just made official as well. Stephen, are you there?