Summer is a popular time for leisure activities at sea. For many people, enjoying a cool dip in the sea on a hot day makes…