Original: The storm was the thirteenth tropical storm, ninth hurricane, and third major hurricane of the season.
Simplified: In Florida, Mitch destroyed buildings in the Keys that were damaged by Hurricane Georges.