Then later, when I got out of the pool there was more singing, very possibly the same guy. It was coming from the men's locker room. He was singing in the shower!
I can't remember ever hearing a woman do this in a public locker room. I wonder if any do. It seems, somehow, more natural that it would be a man.