https://www.gentedelpuerto.com/2023/01/15/5-408-jose-antonio-barreda-miranda-capitan-de-navio-en-1900/
#5.408. José Antonio Barreda Miranda. Capitán de Navío en 1900