Modern taxonomic approaches to identifying diatrypaceous fungi from marine habitats, with a novel genus Halocryptovalsa Dayarathne & K. D. Hyde, gen. nov.