I want to know the answer to the following question:
How many male workers were present in Plymouth Dock circa 1712?
All the background I'm provided with is that "The settlement that developed here was called "Dock" or "Plymouth Dock" at the time, and a new town, separate from Plymouth, grew up.". Is that enough to answer the question?