https://kottke.org/17/07/free-diving-the-worlds-deepest-indoor-swimming-pool