how many mariners in the navy

history of u.s. merchant marine, u.s. maritime service, army transport service, military sea transportation service, and military sealift command during war