During World War II, which of these became a major industry in Washington?
1. entertainment
2. shipbuilding
3. coal mining
4. petroleum