Thermococcus henrietii strain EXT12c chromosome I.