With Shell's Failure, U.S. Arctic Drilling Is Dead