The two CO-dehydrogenases of Thermococcus sp. AM4