En total, eran unas 15.000 personas embarcadas en 36 buques, que llegaron a Río de Janeiro a fines de ese año.