Lost mural by Leonardo may have been discovered