Art deco–era 30m outdoor pool.