From the streets to the Olympics: Korea, democracy, and the 24th Olympiad, 1987-88