I did see that, looked like a total failure of the tyre.
Well Red Bull stated they had absolutely no warning from the data before Verstappens let go, as you say wonder how many others may have failed if the race was a few laps longer. Reminded me of Silverstone a few years back!