Weirdly, Pedro is boss of heaven and earth, but much of the script on the walls glorifies Allah, the actual boss of heaven and earth (although there are weird lines in Arabic about Pedro as well: "Dedicated to the magnificent Sultan Pedro—thanks to Allah!").