"Halobacillus marinus" Panda et al. 2018 Dataset NCBI Taxonomy Classification phylum Bacillota class Bacilli order Bacillales family Bacillaceae genus Halobacillus species Halobacillus marinus Name Homonyms Halobacillus marinus "Halobacillus marinus" Panda et al. 2018