Philippine troops kill IS leader during battle to reclaim Marawi on October 16, 2017 Philippine troops kill IS leader +