defined moved holidays in 2020 (sports day as 24 Jul, marine day as 23 Jul, mountain day as 10 Aug)
defined moved holidays in 2020 (sports day as 24 Jul, marine day as 23
Jul, mountain day as 10 Aug)

77web/Japanese.Holiday