War and workers' power in the United States: Labor struggles in war‐provisioning industries, 1993–2016. (20th February 2020)