Thermococcus camini strain IRI35c chromosome TIRI35C.