Who should fund a swimming pool for Red Lodge?