13 Philippine marines killed in gun battles with Islamist militants
World | June 10, 2017 13:58 ISTThe Philippine marines were killed when they were attacked by militants allied with the Islamic State (ISIS) group during a house-to-house search in the city.