Vajirahattha untranslated

Vajirahattha. A Deva, conqueror of the Asuras (DN.ii.259). Buddhaghosa identifies him with Indra. DN­a.ii.689.