The Overseas Private Investment Corporation transformed into the U.S. International Development Finance Corporation.