https://premierpoolservice.com/how-many-laps-in-a-pool-is-a-mile/