王小伍，东方红号