who won in the Korean War?​