sjömän och 3600 marinsoldater.