Mandi Bahauddin — city in Punjab, Pakistan