Inside the clear stream, a group of people in bathing suits swam cheerfully.