No. But wasn't there also a kid in florida's disney world eaten by a gator ? I wonder if inflation adjusted accordingly lol

ok ok it's a joke.