User blog comment:The Reptile King/Reptile Kingdom Wildlife/@comment-27950421-20160817123120/@comment-27950421-20160817180556

Exactly. That's the unofficial American name for them. The games they're in were never released to the west. In Japan they're called Horuku.