呼び名はドゥンガになるのかな？
ドゥンガだとどうしても鬼軍曹の方のイメージが強いから「イスマイル」がいいなぁ。