United States F1 Grand Prix 2023 results: Official times and gaps as Verstappen pushed hard