1,000 fartyg och 9,000 sjömän.