Holiday in Japan - Changes in the Trading Schedule on October 14, 2019