US president says Intel CEO agreed to give the US a 10% stake

Discussion: https://news.ycombinator.com/item?id=44989773