US officials face tough choices for subsidizing AI chip manufacturing