Antonelli wint in Texas maar is nog nét niet kampioen, Verstappen verslagen door Leclerc