五輪中止の場合はどうなる？7月・8月の祝日

『五輪中止の場合はどうなる？7月・8月の祝日に関する注意点』
gooニュース
https://news.goo.ne.jp/article/bcnretail/trend/bcnretail-229417

もし中止になっても、（ならないだろうが…）今年の祝日は変更されたまま。

『7月19日になるはずの「海の日」は、7月22日に
  10月11日になるはずの「スポーツの日」は、7月23日に
  8月11日になるはずの「山の日」は8月8日に、8月9日は8月8日の振り替え休日』