There was a sound of music and cheers from several women swimming in the indoor pool.