I am surprised it has not been renamed for Lenin or Castro.
The Lenin statue in the Fremont District is deemed sufficient.