THE OHIO CASUALTY INSURANCE COMPANY