Did President Trump approve a deal that allowed hundreds of ISIS fighters to escape Raqqa?