“The U.S. Development Finance Corporation has recently been capitalized with about $208 billion and is now actively seeking to fund infrastructure projects in Africa.”