What country supplied troops to South Korea during the Korean War