Were the Republican forces in the Spanish Civil War thankful for the help of the International Brigades, or were they viewed as a nuisance?