Baghdadi’s death offers Trump a short-term boost and cover for Syria exit