Battle of Deir ez-Zor (September 2017–present)