NBC: Tornado flips cars, damages homes in coastal Florida city