コメントありがとうございます。
当初の設定でどうだったかは分かりませんが、後の話では「トウマドック」「トンマドック」両方とも呼ばれています。