霸王龙的名字怎么写