Offensive auf den Philippinen: Zahlreiche Tote bei Kampf gegen Islamisten