Formula 1's Brazilian Grand Prix was red-flagged just ... That includes the new top three; leader Esteban Ocon for Alpine, ...