Que al bergantín de guerra Marte se denomine General Laborde, en memoria de este benemérito servidor [79.039]
DIGIBÍS