Historien om sjøormen i Mandal