オリンピック無観客開催で赤字900億円。補填は税金で。