世界上最大的半潜船———荷兰“蓝马林鱼”号。