Ted Cruz booed at F1's Austin Grand Prix while presenting Kimi Antonelli his winner's prize

Kimi Antonelli won the United States Grand Prix in Austin, where Texas Senator Ted Cruz was booed while presenting the trophy; the article says Antonelli’s lead over teammate George Russell reached 123 points.

• Antonelli won in a Mercedes, ahead of Ferrari’s Charles Leclerc and Red Bull’s Max Verstappen.· 1 source
• The crowd booed Cruz as he joined the podium and presented Antonelli’s prize; cheering followed when Antonelli lifted the trophy.· 1 source
• The article reports that Antonelli led Russell by 123 points with five races remaining and lists the Mexico Grand Prix for November 1.· 1 source