Interesting how people keep calling it “the Chinese export ban”. Isn’t an American export ban?