how many drivers had an average speed faster than 135 mph?
16