产于四川省阿坝州红原县的牦牛是()。