s. m.
Nav. El distrito de la costa á que se extiende la jurisdiccion ó mando de cada capitan ó comandante general é intendente de marina establecidos en los tres puntos de Cádiz, Ferrol y Cartagena para los negocios del ramo y formacion de las matrículas de marinería. Dic. geog. || La capital misma de este distrito, en la que residen aquellas autoridades con todas sus dependencias y subalternos respectivos, y en cuyo puerto hay un arsenal con todo lo que es adherente á un establecimiento de esta clase.