What was the name of the mouse from The Green Mile?

The mouse is called Mr. Jingles. In the book, the guards who first saw him called him Steamboat Willie, after the third Mickey Mouse cartoon. Eduard Delicroix later gives the mouse the name Mr. Jingles.

In the film, however, the mouse is unnamed until Eduard names it Mr. Jingles.