Lenininpuisto jää historiaan – Helsingin valtuusto tahtoi eroon hirmuhallitsijan nimestä