En realidad debieron ser unos catorce mil, de los que ocho mil serían hombres de mar y guerra y el resto, infantería.