codewars sql
korea gdp