Coco Beach 080203 kl. 1137: small nudibranch - chromodoris willani and mushroom coral (Ernies Point)