THE TRAVELERS INSURANCE COMPANY