霸王龙的历史资料和名字的来源是什么呢