Text this: Tiburcio de Redín, técnico naval