The Covert Operation that Took Down the Nord Stream Pipeline