Battle of Deir ez-Zor (September-November 2017)