interesting. US also blocked exports by a Dutch company to China.