Castro is a word that means "castle", there have been several famous Castros (https://en.wikipedia.org/wiki/Castro_(surname)), and there a famous district in San Francisco named "Castro".
Don't let dictators capture _words themselves_, you only add to their power.
