”毛泽东称赞的这位石油工人就是王进喜（）