diving is for exploring a coral reef.