 And that is a brief snapshot of markets 23 minutes past the hour. Headline news now with Ed Baxter in San Francisco. All right, Brian, Donald Trump has tapped Senator J.D. Vance as his running mate. The House Speaker Mike Johnson announces it is done with the exception of the acceptance speeches. I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for president and vice president of the United States.