13 Philippine Marines Killed in Battle Against Islamist Militants

The death toll may be the deadliest for government forces since they began battling to retake the city of Marawi, seized by groups linked to ISIS.