what was Korea called before - Search