Pemimpin ISIS Marawi Tewas, Pengamanan Perbatasan Indonesia-Filipina Diperketat