五輪中止のときは「東京都」が財政不足を補填することになっている