Kipyegon’s Mile Record Ratified