Thượng nghị sĩ đảng Cộng hòa John Thune đã đề xuất đưa ra sửa đổi tương ứng trong ngân sách quốc phòng Mỹ cho năm tài khóa 2020/21.
Tài liệu cho phép Washington mua các hệ thống tên lửa phòng không S-400 của Nga từ Ankara. Đồng thời, theo sửa đổi, Thổ Nhĩ Kỳ không được mua thiết bị quân sự mà Hoa Kỳ cho là không tương thích với thiết bị quân sự của NATO. Để có hiệu lực, việc sửa đổi phải được sự chấp thuận của Hạ viện.
Bằng cách này, Thune đề xuất cách thoát ra khỏi tình trạng bế tắc về vấn đề sản xuất máy bay chiến đấu F-35 của Mỹ với Thổ Nhĩ Kỳ.
Đồng thời, một sửa đổi khác do hai thượng nghị sỹ đưa ra đã được đề xuất trong cùng một tài liệu, quy định áp lệnh trừng phạt với Thổ Nhĩ Kỳ vì nước này mua S-400 của Nga.