Lane Graves wasn't the first child attacked by a Disney alligator; it happened in 1986

Paul Santamaria was eight when he was attacked by a Florida DisneyWorld alligator. His family sued in 1988 and terminated the suit later that year. They won't say whether Disney settled. Smells like a nondisclosure agreement to AKSARBENT.
     Other stories are slowly filtering out about alligator encounters at DisneyWorld. British vacationers were chased, and a lawyer interviewed by CBS yesterday said he had to hustle his son away from two alligators, one of which he said was between six and seven feet long.