Gulf islands paradise – coral reefs, diving, and coastal community tourism