: what is the red dragons nick name in high school dxd