South Korea in the Korean War