Since the water of the pool is as green as a shining jade, the park is also entitled the Jade Spring Park
