And the FIA has re-written history so that
No one in the car world rewrites history or throws away records. The FIA decided that there should be as many divisions in the classes divided by weight (which includes electric, turbine, steam), as there are in the combustion cubic capacity classes. In doing this, because Don Vesco and Donald Campbell ran to different vehicle weights, both record speeds rightly appear on the current list*.
Last time I took maths 458 was greater than 403 so the achievements of Don V have not been altered either (mile and kilo).
The USA have annexed all of the Category A classes which have records over 400 mph (except that heavy turbine). That's A = wheeldriven vehicles.
[* - "a record can only be broken by a car running in the same class".]