Private swimming pools in royal residences