Navy divers planted remotely triggered explosives that destroyed 3 of 4 Nord Stream pipelines, according to source with direct knowledge of operational planning.