US’ history of bombing pipelines: Now it’s the Nord Stream, back then it was Nicaragua February 12, 2023