In May 2017, jihadists loyal to the so-called Islamic State took Marawi by force. After five months of heavy bombing and more than 1,000 deaths, government forces liberated the city. But large ...