"Thermomicrobiota" Whitman et al. 2018 Dataset NCBI Taxonomy Classification phylum Thermomicrobiota Name Homonyms Thermomicrobiota "Thermomicrobiota" Whitman et al. 2018