A sea tornado hits the shore of a Brazilian beach