Is the name ʿAbd al-Malik ibn Marwān ibn al-Ḥakam Arabic?