There really is a Sea of Galilee - although it's shrinking.