海诺龙属属名是Hainosaurus，身长13米，海诺龙被认为是海王龙的同物异名。