Japan Day Off - Changes in the Trading Schedule on August 12 2019