A last swim in the Royal Kona oceanside swimming pool