Lost high school mile record