《闪闪的红星》主题曲《红星歌》，还记得儿童英雄潘冬子吗？