Diccionario mexicano: Jerga de marina

Proveer a una embarcación de todo lo que necesita para navegar y cumplir la función para la que ha sido destinada

Bajar un poco los barcos sus banderas en señal de bienvenida o para desear buen viaje a otra embarcación

El que va comandado por el almirante o comodoro II Árbol de la familia de las leguminosas, que mide entre 10 y 15 cm de altura, hojas bipinadas con hojuelas oblongas, obtusas y sedosas; flores papilionadas de color amarillo que crecen en racimos, y cuyo fruto es una vaina aplanada y aguda en sus dos extremos.