The way I understood it (which could be way of), the Dragon King of Mars was only a figure within the folk lore version of the story of the Heterodyne brothers, and these folk tales are supposed to describe a rather inaccurate variant of the real story.