och sjömän , är 80,000 man stark.