The second satellite was named BeiDou-12b and was launched in December of what year