Ibn al-Sāʻātī, Aḥmad ibn ʻAlī, Majmaʻ Al-Baḥrayn.