Randy Ball flying Mach 0.92 in his MiG-17F