President Trump open to joint US-Russian strikes against ISIS in Syria