全国工人先锋号（2022年）——深海所深海勇士号团队