a list of very good greek mice names from the battle of the frogs and the mice