 This is All Things Considered from NPR News. I'm Elsa Chang in Culver City, California. And I'm Juana Summers in Washington. Former President Donald Trump, who is now officially the Republican nominee for president in 2024, has chosen Ohio Senator J.D. Vance to be his running mate.