Divers, students move 7,000 coral reef colonies to protect biodiversity