Ocean city damage after reported tornado.