Pseudogracilibacillus marinus sp. nov., isolated from a biofilm formed in coastal seawater.