In the volatile south of the Philippines, a five-month battle between government troops and Islamist militants in Marawi killed more than a thousand people and displaced most of the residents in 2017. Today, Marawi lies in ruins.