Should Deep-Sea Mining Be Allowed?