och bemannade med 350,023 sjömän.