Kingの国のGDPはどれくらいだ。