Trump: US has a big lead in AI, we'll keep our lead