Wave attenuation on a coral reef