A band played on the stage, playing cheerful songs in cowboy hats.