Text this: Treaty to protect high seas too late to stop mining