The Royal Palace swimming pool