25 years ago from today, Todd Williams set the US 15k AR at 42:22 - He still holds it a quarter century later