Home Formula 1 United States Grand Prix, Sunday, 22 October, Austin, Texas