Aladdin Hassan Bahman Shah became the king of Bahman (City of Iran) in _______?