O total orçamentado para as despesas militares será de 583 milhões de dólares (537 milhões de euros).