Moses Mosop set the 25K WR by running the first 25K of his 30K race in 1:12:25.2. But if his time from 5K to 30K was faster (I don't know what his first 5K split was), could that 25K be the new 25K WR? Or does a record have to begin at the start line?
Also, Mosop's second half was faster than Bill Rodgers 15K time, so is Mosop's second half now the U.S. all-comers 15K record?