DNA proves Texas longhorns descend from Columbus' cattle