Holiday in China - Changes in the Trading Schedule on October 1, 2019