Ist doch egal - die Saudis kaufen auch gerne in den USA:
https://de.statista.com/statistik/daten/studie/981567/umfrage/wichtigste-empfaengerlaender-von-us-amerikanischen-ruestungsexporten/
Ach Deutschland liefert ja auch - und natürlich auch die Chinesen