Este ha sido el puesto más alto de un taekwondista costarricense en unos Juegos Olímpicos.