what are all of the vehicle speed records in km/h?
7,258, 3,530, 870, 850.1, 401.0, 306.8, 32
which ones occurred after 1980?
850.1, 401.0, 306.8, 32
of those, which one is the highest?
850.1