Mountain Days, a musical