"external credit rating"
means a credit rating issued by an external credit rating agency;