The Brazilian Grand Prix has just restarted. Esteban Ocon will lead the field away, with Max Verstappen alongside him in P2. Pierre Gasly will restart from P3, with Lando Norr