What is the length to the nearest kilometer of the main stream that flows into the Lake Lagoon?