祝日

さて、トーキョー・オリンピックが延期されましたね。
今年だけ特別設定していた祝日はどうしちゃうんだろう？

<海の日>
・7月の第3月曜日(2020年は7月20日)→7月23日（オリンピック開会式前日）

<スポーツの日>
・10月の第2月曜日(2020年は10月12日)→7月24日（オリンピック開会式当日）

<山の日?
・8月11日→8月10日（オリンピック閉会式翌日）

チョーカンが協議するよって発表したみたいだけど、競技の末に祝日がもとに戻ったら変わったらカレンダーとかに需要が発生するだろうか。