Concepto/Objeto/Acontecimiento
Comandantes de MarinaTérmino no preferente
Oficial de guerra, generalmente del Cuerpo General de la Armada, que manda una provincia de marina o tercio naval en todo lo que tiene relación a este ramo y en especial en las matrículas de gentes del mar. Está al frente de una comandancia de marina.
LORENZO, José de et al: Diccionario marítimo Español. Madrid, T. Fortanet, 1865. Comandante. p. 156-157.