Carlos Machado, Inter-american development bank