Pakistan was officially renamed as the Islamic Republic of Pakistan in: