an indoor swimming pool with multiple lanes