Changes in the Trading Schedule on May 13, 2019