Despite Trump rhetoric, US withdrawal from Syria likely to be messy