which the Export-Import Bank approved for Brazil to buy U.S.-made equipment and services.”