1° [primero] de Mayo en Costa Rica : 1913-1986. Mario Oliva - Oliva, Mario