15 May 2012: Vigorous storms in central Florida