it’s an excerpt
In other words, Manchuria, or what is now Northeast China, was once Korean, from the top on down? Wouldn’t surprise me...