In fighting ISIS, the Philippines gets tangled in US-China tensions