ISIN Code (International Securities Identification Number) – Codes Attributed to Notes Guaranteed by the Republic of Portugal