St John of Damascus: a first impression of Islam (730s)