President Donald Trump was right about the Nord Stream pipeline