‘Total destruction’ of Raqqa, Syria by U.S./Kurdish operation against the city