Trump Renamed AI to SI. Will the Tech Industry Follow?