そう言えば韓国の9月末の国債償還の外貨はどこから調達したの?