Coral reef mining, harvesting and trade