US aircraft in Philippines in battle against ISIS