韓国のGDP、11年連続でトップ10に届かず……11年前はトップ10だったとでも?