The less-noticed deterrent to North Korea attacking South Korea: Chinese tourists