Statistics for The use of artificial reef structures to re-establish reef fish populations degraded by coral mining in the Maldives