Shedd Aquarium’s newest rescued sea otter gets a name