att afsända en armé på icke mindre än 25,000 man , under befäl af general Porfirio Dias , mot insurgenternai