Phylogenomic analysis identifies a sodium-translocating decarboxylating oxidoreductase in thermotogae