Cerca de 4.000 pessoas trabalharam durante aproximadamente uma década nesta missão, que custou 5,2 mil milhões de dólares (4,7 mil milhões de euros)