Las cifras de la Operación Balmis, la mayor misión del Ejército en España