标签：世界上第一个海底非金属矿是年在美国格兰德岛外钻探石油时发现的