Largest man-made lagoon in the US opens in Florida