What would Bernie Sanders’s foreign policy look like?