También ha aparecido bajo el nombre de "Koreasaurus".