 Anthony Salvato, thank you. And of course, as we continue to watch everything happening on your screen in Milwaukee at the RNC, we are expecting vice presidential nominee J.D. Vance to be introduced within the hour. When that happens, we will take you there live. But we do want to get you caught up on some other news happening, and we will do that right after this break. You're streaming CBS News 24-7.