Quantos soldados brasileiros foram para a Segunda guerra Mundial?