rodzaj dinozaura z rodziny pachycefalozaurów; stenotol