Virgibacillus koreensis sp. nov., a novel bacterium from a salt field, and transfer of Virgibacillus picturae to the genus Oceanobacillus as Oceanobacillus picturae comb. nov. with emended descriptions.