It makes no economic sense for the U.S. not to have an export credit agency.