Bendera setengah tiang dikibarkan di Manila, sebagai tanda berkabung atas tewasnya warga sipil dan tentara Filipina saat baku tembak dengan kelompok ISIS.