11.   Tide pools, formed in shoreline areas exposed during the hours of a receding tide, serve as harbors for many species of fish and marine life.

12.   A rescue official told AFP that, since the tugs could no longer pull due to the receding tide, the operation had been called off shortly after midday.