When the Korean war ended what was the result for north and south Korea?