Russia did interfere with the presidential election