Artaxerxes's reign as king over Persia ends