Were any ketch rigged 32s factory finished? Any known for sale?

Also: does anyone recall a 32 called INVICTUS. Might be original factory finished name. Possible where abouts now?