Japan’s Export Restrictions on High-tech Materials to S. Korea Begin Thursday, 4 July 2019