The President of the United States has announced the deployment to the capital of “thousands of heavily armed soldiers” and police. .