the lagoon of a tropical island in the ocean .