US kills 150 ISIS fighters in Syria airstrike during government shutdown, Pentagon says