Peygamberimiz döneminde Mertol ismi kullanılıyor muydu?

Tarihi kayıtlarda Peygamberimiz döneminde "Mertol" isminin kullanıldığına dair bir belge bulunmamaktadır; isim daha çok son dönemlerde oluşmuş bir birleşik addır.