Home Pena Berita Bertambah, Jumlah Militan Asing  yang Tewas di Marawi