ʻAdawī, Ibrāhīm ibn Ismāʻīl, d. ca. 1727.