peter hickman lap

What as happened to the record breaking lap of Peter Hickman.
Seems to have disappeared.

Source: peter hickman lap