Tornado kills 4 after ripping through Turkish tourist hotspot