Koreas end hostility, at least on paper