ラーメン、韓国の鍋、濃縮