Bernie Sanders serving in the Spanish Republican Army during the Spanish Civil War, Barcelona, 1937