They used to swim every morning.