men's cross country runner, Desmond O'Donovan finished 25th with a PR.