東京オリンピックの頃には朝鮮王国に国名が変わっているだろうな