Mining diamonds from the ocean