Submarine groundwater discharge to a coastal lagoon