China Sky Eye discovered the pulsar binary star system with the shortest orbital period so far