4 ms·

China is no longer the main supplier of the US (it still is a very large supplier), but otherwise spot on.