och bemannade med 14,000 sjömän.