Republic of Brazil and International Bank for Reconstruction and Development, dated