Human disturbance in a tropical rocky shore reduces species diversity