The Badshahi Mosque in Lahor, Pakistan