Sima Zhen of the Tang Dynasty believed that Xianchi was the name of a constellation in the western part of the sky

• 唐人司马贞认为:咸池是西宫星名