NavList thread: Chinese star catalog oldest in world?