The US federal government agency that extends trade credits to US companies to facilitate the financing of US exports.