Diamonds, gravel, and sand have been mined from coastal waters for decades. To meet the increasing demand for metals…