Statistics for The seaweeds of Kenya: Checklist, history of seaweed study, coastal environment, and analysis of seaweed diversity and biogeography