[fsupervielle]

Estoy bastante seguro de que hubo una época en la que los barcos usaban nombres distintos en función de si su comandante —entonces capitán— era un oficial al servicio de la corona o no. Así, el mismo barco podía llamarse San Felipe si lo marinaba un oficial de la marina de guerra o Felipe si estaba a las órdenes, por ejemplo, de un oficial de la mercante sirviendo en una armada en concreto. He estado buscando pero no he encontrado dónde lo leí. Me suena que la época era el XVIII...