Frontiers | Editorial: Microbial ecology of the Arabian/Persian Gulf