Olimpiadi Tokio 2020: cancellare sarebbe costato 13,8 mld di euro