Battle of Blair Mountain

The conflict occurred in Logan County, West Virginia, as part of the Coal Wars, a series of early-20th-century labor disputes in Appalachia. Tensions rose between workers and mine management, and for five days from late August to early September 1921, some 10,000 armed coal miners confronted 3,000 lawmen and strikebreakers, called the Logan Defenders, who were backed by coal mine operators during the miners' attempt to unionize the southwestern West Virginia coalfields. The battle ended after approximately one million rounds were fired and the United States Army intervened by presidential order. Up to 100 people were killed, and many more arrested. The United Mine Workers saw major declines in membership, but the long-term publicity led to some improvements in working conditions.

Pick from:
[1]. no;
[2]. yes;
Is this statement correct "were the army used in the miners strike"?
[2].