This is asinine. If Disney does react like this they should go full force. Let's remove the crocodiles from the Jungle Cruise as well as from Kilomanjaro Safaris, the alligator tank from Living with the Land, the Haunted Mansion stretching room, Anything related to Captain Hook, Tick Toc Croc and Peter Pan, all of Dinoland USA since dinosaurs are ancient relatives of Alligators, and since the incident involved a child lets shut down its a small world as well. Of course I'm being facetious and do not think Disney should be doing any of this.