Sejumlah militan asing, antara lain dari Indonesia, termasuk di antara korban tewas dalam pertempuran kelompok militan dan militer Filipina di Marawi,