It’s not named a “tornado” until the National Weather Service says it is a tornado.
Well I guess that settles that!