Hearst Castle’s swimming pool.