Ha sido la única ocasión en la historia que un costarricense ha ostentado un récord olímpico.