distriktet af flottans båtsmanshåll.