There's not much motion blur in the water, and it's a lightning strike so the event itself is very short. You can even see some lightning that's not hidden by the cloud, in the same frame as stars! This is a great example of HDR. Dynamic range compression can be done tastefully - you don't need ugly halos everywhere.