Manufacturing is 11.9% of US GDP