Of what nationality were over 200 American military soldiers who deserted the
United States Army and fought for the Mexicans during the war instead?