Number of US diplomats in Syria has doubled: Mattis