Tivoli Carvoeiro – The 16-meter swimming pool at Tivoli Carvoeiro in the Algarve