(six Patriot batteries manned by 1000 American, German and Dutch servicemen have previously been deployed on the Turkish-Syrian border)