Indonesia says 1,200 ISIS operatives in Philippines, 40 of them from Indonesia