 And in May of 1980, there was a big massacre in the city of Gwangju by Korean troops, not U.S. troops. But it was the ongoing unrest from the turmoil of the year before. And we heard on the ground at the time a couple of thousand Gwangju citizens were killed. And when you read about vague stories of it now, they talk about more like 400 people.