The US stock market is also down.