Given a document, generate a short title of the document. The title should convey the main idea/event/topic about which the document is being written. Note that URLs in the text have been replaced with [Link].

Smoke rises after an air strike during fighting between members of the Syrian Democratic Forces and Islamic State militants in Raqqa  Syria  August 15  2017. REUTERS/Zohra Bensemra/File Photo
In the end  IS suffered its most decisive defeat and watched their self-proclaimed caliphate evaporate in Iraq  then in Syria as Kurdish-led forces retook Raqqa  ISâs urban stronghold there.
The battle for  Raqqa  which became  ISâs operational base in Syria  had a different feel to it as U.S.-backed Kurds and Arabs in the Syrian Democratic Forces (SDF) tightened their siege.
In the weeks before  Raqqaâs  fall in October  young female SDF fighters faced off against hardened militants and suffered losses. But that did not curb their enthusiasm and some said they would eventually like to join Kurdish PKK militants in Turkey and help advance their 33-year-old insurgency there.
After ISâs defeat in Raqqa   Raqqa residents  formed a council to run the city but  they  had no budget when it was first set up  just residents streaming into  their  tin  run-down headquarters demanding everything from instant jobs to getting  their  damaged farmland back.
The Kurdish groups who led the fight against Islamic State in its former capital  Raqqa  must now navigate a complex peace to avoid ethnic tension with the cityâs Arab majority and to secure critical U.S. aid.
So  life for  Raqqa âs victors will remain fraught with risk.
The Battle against Islamic State

Big Macs and lattes will be purchased by cryptocurrencies sooner than you might think  according to venture capitalist and bitcoin fanatic  Tim Draper .
"In five years  if you go to a Starbucks or McDonald's and try to buy a burger or coffee with fiat currency  the person at the counter is going to laugh at you "  Draper  told an audience Friday in San Francisco. "There's a real need for a currency that's global."
 Draper 's presentation at the Blockchain Connect Conference came by video and helped kick off a full day of panels and presentations from developers and investors. The event was so crowded that people were filling up the overflow room to listen on televisions  and  Draper 's video aired late because of technical difficulties.
 Draper   who backed companies including Skype and Baidu in the earlier days of the internet  has made a personal fortune on bitcoin and has more recently turned his attention to initial coin offerings. He said in May that he was participating in the Tezos ICO  one of the biggest crypto offerings of the past year. That deal has been plagued by conflict  with the founders stuck in a financial battle with one of the leaders of the project.
 Draper  said there will be "fits and starts" in the emergence of blockchain but over time it will effect "industry after industry."
Tim Draper : Burgers and coffee will be bought with crypto in 5 years

WASHINGTON (AP) — Vice President Mike Pence and  Karen Pence  will lead the U.S. delegation to the 2018 Winter Olympics in South Korea.
The White House said Wednesday that  Pence  will attend the opening ceremonies of the games  scheduled for Feb. 9 in Pyeongchang  South Korea.
 Pence  will hold meetings with leaders in Seoul  South Korea and Tokyo  Japan where he will stress the U.S. commitment to stability in the region. The vice president is also scheduled to stop in Alaska to review intercontinental ballistic missile defense systems.
Jarrod Agen   Pence 's deputy chief of staff  said  Pence  would travel to the Olympics "to reinforce the strong U.S. presence on the Korean Peninsula and send a clear message of American resolve to the North Korean regime."

Pence to lead US delegation to Olympics