Orçamento total, segundo noticiado pelo jornal "The Washington Post", chega a US$ 600 milhões, com mais da metade custeada por verba pública

This is an ingested summary. Full reporting is available at the primary source below.