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 .