What Is Syria's Iranian Credit Line Worth?