Ocean scientists measure sediment plume stirred up by deep-sea-mining vehicle