hade under tiden förökat ein krigsstyrka i Mexiko till 4,500 man.