The first satellite, BeiDou-1A, was launched on October 31, 2000. What was the second satellite for the BeiDou-1 system called?