Input: who was the president of pakistan in 1980?
Output: Muhammad Zia-ul-Haq