The biggest tree I have ever seen in my life, it’s next to Buddha Caves in Islamabad !

Reminded me of Redwood trees of California

Looks like mango leaves but don’t know what it is, do you know ?