Winter Olympics day 4: As it happenedBy Matias Grez, Euan McKirdy and James Griffiths, CNNUpdated 1532 GMT (2332 HKT) February 13, 2018