Castro? An extra in 'Holiday in Mexico?'

Link : http://www.imdb.com/name/nm0004242/