NotasPuerto o bahía en que se reunen varios buques de guerra al mando de un jefe superior, para desempeñar las atenciones del servicio naval
Formas alternativas del nombrePuerto de armadilla
Fuentes consultadas1. Fontenla Ballesta, S. Diccionario militar moderno, 2006 p.38 (Puerto o bahía utilizado por fondeadero ordinario por un buque de querra)
2. Pando Villarroya, JL. de Diccionario de marina, 1985 Apostadero