Battle of Deir ez-Zor (World War II)