At the moment the USA is cooperating with other countries in military matters in Syria? How long is that going to continue when there is a risk that sensitive information may be shared with Russia?