Holiday in Japan - Changes in the Trading Schedule on July 15, 2019