when was the last time the olympics were held in korea