Swimming pool of Pousada Infante de Sagres Hotel, Town of Sagres, municipality of Vila do Bispo, district of Faro, region of Algarve, southwestern Portugal