Many people played instruments and sang along the pool, making a cheerful musical sound.