Penyebab terjadinya danau air asin seperti danau satonda di bima, nusa Tenggara Barat, adalah