Notas para la historia del movimiento obrero en Costa Rica - Rojas Bolaños, Manuel