Tây Thiên trong Tây Du Ký hiện nay là thành phố nào?

Tây Thiên hiện nay là một thành phố nằm cách thủ đô Islamabad của Pakistan khoảng hơn 30 km về phía Bắc, vậy tên của nó là gì?