what year was the history of Ming produced?