Названо окончательное число российских спортсменов на Олимпиаде в Корее