Is Batman still named Batman even if he is a dog?