the koran and hadiths , the oral traditions relating to the words and deeds of the islamic prophet mohammad , proclaim that the mahdi will find the ark of the covenant in lake tiberias while other hadiths suggest it will be found in antioch .