オリンピックの祝日はどうなるんだろう？

2020年。

日本中で大いにオリンピックで盛り上がるため、例年から祝日をずらしています。

7/23（木）：海の日

7/24（金）：スポーツの日

8/10（月）：山の日

肝心のオリンピックはなくなってしまったのですが・・・

今年の祝日はこのままなのでしょうか？

そして、もし来年オリンピックが開催されるのだとしたら、来年の祝日も例年と変わるのでしょうか？

気になります。