what was korea called before - Search