東京国際とは何だったのか