nope.
The horns to which you refer are simply enhanced single B-flat horns, just as a King 2341 is an enhanced King 2340 B-flat tuba, but not “compensating“.
Compensating double horns are still used - to some extent - in the UK. I've seen some Paxman (English-made/expensive) compensating double horns, and have serviced them.
In the 1960's and 1970's, The Getzen Company flooded the USA with these cheap/mechanical linkage/European-import compensating double horns.
I never liked them, though they were (other than - seemingly - the solder joints leading into the 1st rotor and out of the 3rd rotor) titanic - in their sheet metal gauge, however.
OLD GETZEN COMPENSATING DOUBLE FOR SALE ON REVERB:
(In particular, look at the fourth picture, where the BACK of the instrument is shown.)
https://reverb.com/item/2095488-getzen- ... rench-horn
JP/John Packer (an English concern that sells very high-grade China-made instruments, and also caters (along with American) to English tastes, offers a compensating double horn in their lineup. I'm fairly sure that they do not bother to stock any of them, though, in their USA warehouse...
INFO: https://www.jpmusicalinstruments.com/pr ... cker-jp163
