Environmentalists Tie Trump’s Hands on Deep-Sea Mining