I'd have to sit down and work it out if you'd want specifics, but it would have to be *huge*...in the tens of thousands, given that you need not just the people to run the ship and maintain it, but you'd ALSO need all the construction crews AND the materials and everything else.
