what is the marathon best of athlete who competed in the event that ingrid kristiansen set the olympic record in the heats ?
2:26:52