For its day, this outdoor swimming pool on the Atlantis was something of a status symbol - how enormously the all-important swimming pool/lido area in cruise ships improved over the following quarter of a century.