Yeah I thought of Lenin, Castro too. I hadn’t really looked anything up about the guy so I was under the assumption he might be an AOC character where she billed herself as a working class waitress but seemed to have some fishy CIA-adjacent background or something, but that seems to not be the case