Officials from the Export-Import Bank of the United States and the Japan Bank for International Cooperation