Donald Trump chooses JD Vance as his running mate.