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

2020年。

 

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

 

7/23（木）：海の日

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

8/10（月）：山の日

 

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

 

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

 

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

 

気になります。