Separately, on the same day, the US Commerce Department