JD Vance officially named Trump’s VP at RNC