Anyone know what type of betta he might be? I recently bought him from a local aquarium shop but completely forgot to ask them this question